Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
501	A Na¨ıve Evaluation of Queries over Incomplete Databases ´ AMELIE GHEERBRANT, LIAFA (Universit´e Paris Diderot - Paris 7 & CNRS) LEONID LIBKIN, University of Edinburgh Add to Reading List Source URL: www.sirangelo.info Language: English - Date: 2014-09-08 08:04:39 Model theory Relational model Query languages Models of computation FO Finite model theory Null Kripke semantics SQL Logic Mathematical logic Mathematics
502	First-order reasoning in Yices2 Master Thesis in Computer Science Simon Cruanes∗ supervised by Bruno Dutertre †, Viktor Kuncak ‡, Benjamin Werner § SRI International, Menlo Park, CA September 2011 – March 2012 Add to Reading List Source URL: cedeela.fr Language: English - Date: 2013-02-07 03:54:46 Automated theorem proving Model theory Logic in computer science Constraint programming NP-complete problems Boolean satisfiability problem Satisfiability Modulo Theories DPLL algorithm Interpretation Theoretical computer science Logic Mathematical logic
503	Regular Linear-time Temporal Logic Martin Leucker Institut f¨ur Informatik TU M¨unchenGarching, Germany Email: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Formal languages Logic in computer science Complexity classes Automata theory Temporal logic Linear temporal logic Modal logic Dynamic logic Model checking Theoretical computer science Mathematics Logic
504	On the Formal Semantics of IF-like Logics Santiago Figueiraa,b , Daniel Gor´ına , Rafael Grimsonc a Departamento de Computaci´ on, FCEyN Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2009-10-23 18:50:09 Model theory Predicate logic Non-classical logic Quantification Interpretation First-order logic Independence-friendly logic FO Lambda calculus Logic Mathematical logic Philosophical logic
505	Invitation to Courses PROF. KRISHNENDU CHATTERJEE Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2010-02-12 03:12:12 Formal methods Logic in computer science Formal verification Model checking Correctness Institute of Science and Technology Austria Distributed algorithm Algorithm Specification Theoretical computer science Applied mathematics Mathematics
506	BRICS Basic Research in Computer Science BRICS DS-97-3 T. Husfeldt: Dynamic Computation Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-01-16 09:45:05 Complexity classes Algorithm Mathematical logic Model of computation PP Dynamic problem P ACC0 Circuit complexity Theoretical computer science Computational complexity theory Applied mathematics
507	PA 9915 Methods and Issues in Program and Policy Evaluation Add to Reading List Source URL: localgovernment.uwo.ca Language: English - Date: 2014-08-21 11:02:04 Thought Impact assessment Educational psychology Program evaluation Logic model Educational assessment Empowerment evaluation Evaluation methods Evaluation Education
508	Definability for Downward and Vertical XPath on Data Trees Sergio Abriola1 , Mar´ıa Emilia Descotte1 , and Santiago Figueira1,2 1 University of Buenos Aires, Argentina Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2014-11-18 05:43:25 Metalogic Ultraproduct Sheaf First-order logic Model theory Mathematical logic Logic
509	On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Theoretical computer science Model theory Automata theory Regular language Presburger arithmetic Structure Decision problem Mathematics Mathematical logic Formal languages
510	A Temporal Logic for Hyperproperties Bernd Finkbeiner1 , Markus N. Rabe1 , and César Sánchez2, Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Mathematics Linear temporal logic CTL* Interpretation Computation tree logic Kripke structure Well-formed formula Quantification Model theory Logic Mathematical logic Temporal logic

UPDATE